package httpclient;

import javax.servlet.*;
import javax.servlet.annotation.WebFilter;
import javax.servlet.http.*;
import javax.xml.registry.infomodel.User;
import java.io.IOException;

@WebFilter(urlPatterns = {"/Servlet1","/login/dgut"})
public class FilterOne implements Filter {
    public void destroy() {
    }

    public void doFilter(ServletRequest req, ServletResponse resp, FilterChain chain) throws ServletException, IOException {
        HttpServletRequest request= (HttpServletRequest)req;
        HttpServletResponse response= (HttpServletResponse) resp;
        User user= (User)request.getSession().getAttribute("user");
        if(user == null) {
            response.sendRedirect("https://cas.dgut.edu.cn?appid=javaee");
        }
        else
            chain.doFilter(req, resp);
    }

    public void init(FilterConfig config) throws ServletException {

    }

}
